翻訳と辞書 Words near each other ・ log off ・ log out ・ logarithmus dualis ・ logc ・ logic ・ logic bomb ・ logic design language ・ logic emulator ・ logic for computable functions ・ logic gate ・ logic programming ・ logic replacement technology ・ logic variable ・ logical ・ logical address ・ logical block addressing ・ logical complement ・ logical interchange format ・ logical link control ・ logical link control and adaptation protocol Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク logic programming ： FOLDOC logic programming A declarative, {relational} style of programming based on first-order logic. The original logic programming language was Prolog. The concept is based on {Horn clauses}. The programmer writes a "database" of "facts", e.g. wet(water). ("water is wet") and "{rules}", e.g. mortal(X) :- human(X). ("X is mortal is implied by X is human"). Facts and rules are collectively known as "clauses". The user supplies a "goal" which the system attempts to prove using "resolution" or "backward chaining". This involves matching the current goal against each fact or the left hand side of each rule using "unification". If the goal matches a fact, the goal succeeds; if it matches a rule then the process recurses, taking each sub-goal on the right hand side of the rule as the current goal. If all sub-goals succeed then the rule succeeds. Each time a possible clause is chosen, a "{choice スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.